UniRec: a unimodular-like framework for nested recursions and loops

Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop transformation frameworks such as the polyhedral model for composing and applying instance-wise scheduling nests.In recent years, there have been efforts build nested recursion loops, but these cannot employ full power of nests since they overly-restrictive representations. This paper describes new framework, UniRec, that not only generalizes prior reasoning about on recursion, also unimodular hence unifies perfectly-nested loops recursion.